65.09/68.08	unsat
