13.87/14.12	unsat
