5.17/7.56	unsat
