15.96/17.56	unsat
