13.87/19.40	unsat
