15.17/15.40	unsat
