1.29/3.56	unsat
