65.45/68.11	unsat
