5.27/6.46	unsat
