6.54/6.54	unsat
