60.33/60.71	unsat
