5.32/5.46	unsat
