4.69/7.54	unsat
