1.19/3.97	unsat
