5.17/5.46	unsat
