6.27/7.56	unsat
