15.20/19.55	unsat
