68.06/68.33	unsat
