15.87/18.56	unsat
