60.33/65.80	unsat
