0.19/0.39	unsat
