5.18/6.46	unsat
