6.18/7.56	unsat
