3.64/3.68	unsat
