15.84/19.39	unsat
