5.69/12.54	unsat
