15.35/19.32	unsat
